DEF=llvm-int
EXT=llvmint
TESTDIR=.
KOMPILE_BACKEND=llvm
KOMPILE_FLAGS=--syntax-module LLVM-INT

include ../../../include/kframework/ktest.mak
